$\forall$${\it ds}$:(Id$\rightarrow$Type), ${\it da}$:(Id$\rightarrow$Knd$\rightarrow$Type), $A_{1}$, $B_{1}$, $A_{2}$, $B_{2}$:Type.
\\[0ex]($A_{2}$ $\subseteq$r $A_{1}$) $\Rightarrow$ ($B_{1}$ $\subseteq$r $B_{2}$) $\Rightarrow$ (Component(${\it ds}$;${\it da}$;$A_{1}$;$B_{1}$) $\subseteq$r Component(${\it ds}$;${\it da}$;$A_{2}$;$B_{2}$))